Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
41	$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-12-30 18:00:15 Mathematical analysis Mathematics Special functions Exponentials Analytic functions Ratios Trigonometric functions Trigonometry Sine Parametric equation Proof that is irrational
42	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
43	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
44	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
45	DOC Document Add to Reading List Source URL: www.nsscne.org Language: English - Date: 2011-04-24 21:40:25
46	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
47	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
48	MATHSYLLABUS Analysis II Spring 2007 Introduction to Analysis Add to Reading List Source URL: faculty.smcm.edu Language: English - Date: 2007-03-05 14:29:42 Education Euthenics Education reform Combinatorics on words Course Curricula Educational technology Presentation of a group Mathematical proof Academic term Quiz Grading systems by country
49	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
50	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net